Resultaten visas 1 - 10 / 3431
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

On Natural Deduction in Dependence Logic

Referentgranskad
Kontinen, Juha
Ontos Mathematical Logic2015Publicationer information ikon

From axiomatic logic to natural deduction

Referentgranskad
DOI
DOI 10.1007/s11225-014-9565-0
von Plato, Jan
Studia Logica2014Publicationer information ikon

Normal derivability in classical natural deduction

Referentgranskad
von Plato, Jan; Siders, Annika
The Review of Symbolic Logic2012Publicationer information ikon

A sequent calculus isomorphic to Gentzen's natural deduction

Referentgranskad
DOI
DOI:10.1017/S1755020310000195
von Plato, Jan
The Review of Symbolic Logic2011Publicationer information ikon

Variants of Gödel's Ontological Proof in a Natural Deduction Calculus

Referentgranskad
Öppen tillgång
DOI
10.1007/s11225-016-9700-1
Kanckos, Annika; Woltzenlogel Paleo, B.
Studia Logica2017Publicationer information ikon

Descartes in Kant’s Transcendental Deduction

Referentgranskad
Olli Koistinen
Midwest Studies in Philosophy2011Publicationer information ikon

From Gentzen to Jaskowski and Back:Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Referentgranskad
Öppen tillgång
DOI
10.18778/0138-0680.46.1.2.06
von Plato, Jan
University of Lodz. Department of Logic. Bulletin of the Section of Logic2017Publicationer information ikon

Finland: Interest Deduction Limitation Rules Introduced

Referentgranskad
Penttilä Seppo; Nieminen Martti
European Taxation2013Publicationer information ikon

Ministry Revises Interest Deduction Limitation Bill

Nieminen Martti
Tax Notes International2012Publicationer information ikon

Kurt Gödel’s first steps in logic:formal proofs in arithmetic and set theory through a system of natural deduction

Referentgranskad
DOI
10.1017/bsl.2017.42
von Plato, Jan
Bulletin of Symbolic Logic2018

On Natural Deduction in Dependence Logic

Referentgranskad
2015

From axiomatic logic to natural deduction

Referentgranskad
DOI
DOI 10.1007/s11225-014-9565-0
2014

Normal derivability in classical natural deduction

Referentgranskad
2012

A sequent calculus isomorphic to Gentzen's natural deduction

Referentgranskad
DOI
DOI:10.1017/S1755020310000195
2011

Variants of Gödel's Ontological Proof in a Natural Deduction Calculus

Referentgranskad
Öppen tillgång
DOI
10.1007/s11225-016-9700-1
2017

Descartes in Kant’s Transcendental Deduction

Referentgranskad
2011

From Gentzen to Jaskowski and Back:Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Referentgranskad
Öppen tillgång
DOI
10.18778/0138-0680.46.1.2.06
2017

Finland: Interest Deduction Limitation Rules Introduced

Referentgranskad
2013

Ministry Revises Interest Deduction Limitation Bill

2012

Kurt Gödel’s first steps in logic:formal proofs in arithmetic and set theory through a system of natural deduction

Referentgranskad
DOI
10.1017/bsl.2017.42
2018